TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing
نویسندگان
چکیده
Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for veriication and validation. With speciication-based testing, the precision of formal speciications can make the testing more systematic. This paper describes a tool to assist the derivation of test cases from Object-Z speciications. The tool supports the Test Template Framework and manages the testing information for the user. Management of the generated testing information is regarded as a high priority and is one of the tool's features. The tool is demonstrated on a simple example to indicate its core functionality.
منابع مشابه
Tinman -a Test Derivation and Management Tool for Speciication-based Class Testing Tinman -a Test Derivation and Management Tool for Speciication-based Class Testing
Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for veriication and validation. With speciication-based testing, the precision of formal speciications can make the testing more systematic. This paper describes a tool to assist the derivation of test cases from Object-Z speciications. The tool supports the Test Template F...
متن کاملAutomatic Testing with Formal Methods
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...
متن کاملTesting Concurrent Systems: A Formal Approach
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation al...
متن کاملAutomating the process of test derivation from SDL specifications
In this paper, we present a set of automated tools for the development of conformance tests following a methodology based on a partial unfolding of a given SDL specification, describing the behavior of the system under test. The methodology relies on FSM-based test derivation methods which focus on the fault coverage aspect of testing. The tool kit offers to the test designer a number of option...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کامل